Mobile Resource Guarantees Evaluation Paper
نویسندگان
چکیده
This paper summarises the main outcomes of theMobile Resource Guarantees (MRG) project, a three year project funded by the EC under the FET proactive initiative on Global Computing, and discusses follow-up work in new projects that will build on these results.
منابع مشابه
Project Evaluation Paper: Mobile Resource Guarantees
The Mobile Resource Guarantees (MRG) project has developed a proof-carrying-code infrastructure for certifying resource bounds of mobile code. Key components of this infrastructure are a certifying compiler for a high-level language, a hierarchy of program logics, tailored for reasoning about resource consumption, and an embedding of the logics into a theorem prover. In this paper, we give an o...
متن کاملChapter 1 Mobile Resource Guarantees Evaluation
The Mobile Resource Guarantees (MRG) project has developed a proof-carrying-code infrastructure for resources to be applied to mobile code. Key components of this infrastructure are a certifying compiler for a high-level language, a hierarchy of program logics, tailored for reasoning about resource consumption, and an embedding of the logics into a theorem prover. In this paper, we give an over...
متن کاملChapter 1 Mobile Resource Guarantees Evaluation Paper
This paper summarises the main outcomes of the Mobile Resource Guarantees (MRG) project, which focused on a proof-carrying-code (PCC) infrastructure for resources to be applied to mobile code. MRG was a three year project funded by the EC under the FET proactive initiative on Global Computing. We give an overview of the projects’ results, discuss the lessons learnt from it and introduce follow-...
متن کاملPerformance evaluation of IDMP's QoS framework
Intra-Domain Mobility Management Protocol (IDMP) has been recently proposed as a protocol for managing IP mobility within a cellular access network. This paper evaluates the performance of IDMP’s Quality of Service (QoS) framework, which uses a modified form of the Differentiated Services architecture, with a centralized Bandwidth Broker performing admission control and resource provisioning fo...
متن کاملSignaling and QoS guarantees in mobile ad hoc networks
In this paper, we propose an architecture for provisioning nondisrupted QoS guarantees in mobile ad hoc networks, and extend the scalable resource reservation protocol (SRRP) for signaling in ad hoc networks. In particular, we present a number of techniques that can enable QoS guarantees in ad hoc networks, including geographical reservation and clusterhead election (GRACE), the request-to-rese...
متن کامل